Graph theory with an introduction to algebraic graph theory

Firstly, we shall start with an introduction to the main topics in Graph Theory with special emphasis in connectivity, colorability and planarity. The, we shall continue with the firsts concepts in Algebraic Graph Theory. Algebraic Graph Theory uses algebraic techniques to study properties of graphs. We shall see several examples of those techniques, covering, for instance the fundamental group of a graph, several polynomials associated to graphs, and the spectra of a graph. seeing how those algebraic tools provide information about the properties of the graph.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

An aperiodic tiles machine

The results we introduce in this work lead to get an algorithm which produces aperiodic sets of tiles using Voronoi diagrams. This algorithm runs in optimal worst-case time O(nlogn). Since a wide range of new examples can be obtained, it could shed some new light on non-periodic tilings. These examples are locally isomorphic and exhibit the 5-fold symmetry which appears in Penrose tilings and quasicrystals. Moreover, we outline a similar construction using Delaunay triangulations and propose some related open problems

Hamiltonian triangular refinements and space-filling curves

We have introduced here the concept of Hamiltonian triangular refinement. For any Hamiltonian triangulation it is shown that there is a refinement which is also a Hamiltonian triangulation and the corresponding Hamiltonian path preserves the nesting condition of the corresponding space-filling curve. We have proved that the number of such Hamiltonian triangular refinements is bounded from below and from above. The relation between Hamiltonian triangular refinements and space-filling curves is also explored and explained

Embedding a graph in the grid of a surface with the minimum number of bends is NP-hard

This paper is devoted to the study of graph embeddings in the grid of non-planar surfaces. We provide an adequate model for those embeddings and we study the complexity of minimizing the number of bends. In particular, we prove that testing whether a graph admits a rectilinear (without bends) embedding essentially equivalent to a given embedding, and that given a graph, testing if there exists a surface such that the graph admits a rectilinear embedding in that surface are NP-complete problems and hence the corresponding optimization problems are NP-hard

The difference between the metric dimension and the determining number of a graph

We study the maximum value of the difference between the metric dimension and the determining number of a graph as a function of its order. We develop a technique that uses functions related to locating-dominating sets to obtain lower and upper bounds on that maximum, and exact computations when restricting to some specific families of graphs. Our approach requires very diverse tools and connections with well-known objects in graph theory; among them: a classical result in graph domination by Ore, a Ramsey-type result by Erdős and Szekeres, a polynomial time algorithm to compute distinguishing sets and determining sets of twin-free graphs, k-dominating sets, and matchings

On the metric dimension, the upper dimension and the resolving number of graphs

This paper deals with three resolving parameters: the metric dimension, the upper dimension and the resolving number. We first answer a question raised by Chartrand and Zhang asking for a characterization of the graphs with equal metric dimension and resolving number. We also solve in the affirmative a conjecture posed by Chartrand, Poisson and Zhang about the realization of the metric dimension and the upper dimension. Finally, we prove that no integer a≥4a≥4 is realizable as the resolving number of an infinite family of graphs

The Size of a Graph Without Topological Complete Subgraphs

In this note we show a new upperbound for the function ex(n;TKp), i.e., the maximum number of edges of a graph of order n not containing a subgraph homeomorphic to the complete graph of order p. Further, for ${\left \lceil \frac{2n+5}{3}\right \rceil}\leq p < n$ we provide exact values for this function

A new 2D tessellation for angle problems: The polar diagram

The new approach we propose in this paper is a plane partition with similar features to those of the Voronoi Diagram, but the Euclidean minimum distance criterion is replaced for the minimal angle criterion. The result is a new tessellation of the plane in regions called Polar Diagram, in which every site is owner of a polar region as the locus of points with smallest polar angle respect to this site. We prove that polar diagrams, used as preprocessing, can be applied to many problems in Computational Geometry in order to speed up their processing times. Some of these applications are the convex hull, visibility problems, and path planning problems

Steiner distance and convexity in graphs

We use the Steiner distance to define a convexity in the vertex set of a graph, which has a nice behavior in the well-known class of HHD-free graphs. For this graph class, we prove that any Steiner tree of a vertex set is included into the geodesical convex hull of the set, which extends the well-known fact that the Euclidean convex hull contains at least one Steiner tree for any planar point set. We also characterize the graph class where Steiner convexity becomes a convex geometry, and provide a vertex set that allows us to rebuild any convex set, using convex hull operation, in any graph

The center of an infinite graph

In this note we extend the notion of the center of a graph to infinite graphs. Thus, a vertex is in the center of the infinite graph G if it is in the center of an increasing family of finite subgraphs covering G. We give different characterizations of when a vertex is in the center of an infinite graph and we prove that any infinite graph with at least two ends has a center